大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Future Multimedia Networking [electronic resource] : Third International Workshop, FMN 2010, Krak贸w, Poland, June 17-18, 2010. Proceedings

0
索取号：
作者：Zeadally、 Sherali.、Cerqueira、 Eduardo.、Curado、 Mar铆lia.、Leszczuk、 Miko艂aj.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli

0
索取号：
作者：Manna、 Zohar.、Peled、 Doron A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Data and Applications Security and Privacy XXIV [electronic resource] : 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings

0
索取号：
作者：Foresti、 Sara.、Jajodia、 Sushil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Graphics Recognition. Achievements, Challenges, and Evolution [electronic resource] : 8th International Workshop, GREC 2009, La Rochelle, France, July 22-23, 2009. Selected Papers

0
索取号：
作者：Ogier、 Jean-Marc.、Liu、 Wenyin.、Llad贸s、 Josep.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Digital Mammography [electronic resource] : 10th International Workshop, IWDM 2010, Girona, Catalonia, Spain, June 16-18, 2010. Proceedings

0
索取号：
作者：Mart铆、 Joan.、Oliver、 Arnau.、Freixenet、 Jordi.、Mart铆、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Role of Digital Libraries in a Time of Global Change [electronic resource] : 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010. Proceedings

0
索取号：
作者：Chowdhury、 Gobinda.、Koo、 Chris.、Hunter、 Jane.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed Applications and Interoperable Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Eliassen、 Frank.、Kapitza、 R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010. Proceedings

0
索取号：
作者：Chen、 Hsinchun.、Chau、 Michael.、Li、 Shu-hsing.、Urs、 Shalini.、Srinivasa、 Srinath.、Wang、 G. Alan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Multi-Agent-Based Simulation X [electronic resource] : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers

0
索取号：
作者：Tosto、 Gennaro.、Dyke Parunak、 H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reliable Software Technologiey-Ada-Europe 2010 [electronic resource] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

0
索取号：
作者：Real、 Jorge.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Space, Time, and Spacetime [electronic resource] : Physical and Philosophical Implications of Minkowski's Unification of Space and Time

0
索取号：
作者：Petkov、 Vesselin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings

0
索取号：
作者：Lodi、 Andrea.、Milano、 Michela.、Toth、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Hatcliff、 John.、Zucca、 Elena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trust Management IV [electronic resource] : 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings

0
索取号：
作者：Nishigaki、 Masakatsu.、J酶sang、 Audun.、Murayama、 Yuko.、Marsh、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Space-Time Continuous Models of Swarm Robotic Systems [electronic resource] : Supporting Global-to-Local Programming

0
索取号：
作者：Hamann、 Heiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.